41. Knowledge- based software engineering
پدیدآورنده : / edited by Pavol navrat and Haruki Ueno
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
رده :
QA
76
.
9
.
S88J65
1998
42. Knowledge-based software engineering
پدیدآورنده : edited by Tomسaes Hrueska and Masa-aki Hashimoto,Title
کتابخانه: (مازندران)
موضوع : Expert systems )Computer science(, Congresses,Computer software, Development, Congresses
رده :
QA
.
E95J65
76
.
76
2000
43. Knowledge- based software engineering
پدیدآورنده : / edited by Pavol navrat and Haruki Ueno
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Expert systems (Computer science - - Congresses),Computer software - - Development - - Congresses
رده :
QA
76
.
9
.
S88J65
1998
44. Knowledge-based software engineering :
پدیدآورنده : edited by Maria Virvou and Taichi Nakamura.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
45. Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: (طهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Computer software -- Development
رده :
QA
76
.
76
.
E95J6
2000
46. Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer software-- Development-- Congresses,، Expert systems )Computer science(-- Congresses
رده :
QA
76
.
76
.
D47
.
I35
1992
47. Multi-agent systems and agreement technologies :
پدیدآورنده : Francesco Belardinelli, Estefanía Argente (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
49. New trends in software methodologies, tools and techniques :proceedings of the fourth SoMeTW 05
پدیدآورنده : edited by Hamido Fujita and Mohamed Mejri
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Software engineering,Congresses ، Expert systems )Computer science(,Congresses ، Artificial intelligence,Congresses ، Computer software - Development
رده :
QA
76
.
758
.
I5
50. PRIMA 2018 :
پدیدآورنده : Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
رده :
QA76
.
76
.
I58
51. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
52. Risks and Security of Internet and Systems :
پدیدآورنده : edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Internet-- Security measures, Congresses.,Artificial intelligence.,Artificial intelligence.,Coding theory & cryptology.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Computers.,Data encryption (Computer science),Expert systems-- knowledge-based systems.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.
رده :
QA76
.
758
I58
2017
53. RoboCup 2017 :
پدیدآورنده : Hidehisa Akiyama, Oliver Obst, Claude Sammut, Flavio Tonidandel (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Robotics, Congresses.,Soccer-- Computer simulation, Congresses.,Artificial Intelligence.,Image Processing and Computer Vision.,Software Engineering.,Special Purpose and Application-Based Systems.,Systems and Data Security.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Artificial intelligence.,Computer security.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Image processing.,Robotics.,Soccer-- Computer simulation.,Software Engineering.,User interface design & usability.
رده :
TJ210
.
3
55. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
56. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
57. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
58. 0203931254 (ebook)
پدیدآورنده : edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
60. xiv, 237 p. :
پدیدآورنده : Chris Johnson & Jolyon Leslie.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
